翻訳と辞書 Words near each other ・ anglo-saxon point ・ angry fruit salad ・ ani ・ animated gif ・ animation ・ animus ・ anl ・ anna ・ annealing ・ annotate ・ annotated ada ・ annotation ・ annoybot ・ annoyware ・ annual change traffic ・ annulled branch ・ anonymous ftp ・ another tool for language recognition ・ anr ・ ans Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク ANNotated Ada ： FOLDOC ANNotated Ada (Anna) A specification language developed at Stanford University ca. 1980 for formally specifying Ada programs. It has a Specification Analyzer and a Consistency Checking System. It adds semantic assertions in the form of Ada comments. {(ftp://anna.stanford.edu/pub/anna/)}. ["ANNA - A Language for Annotating Ada Programs", David Luckham et al, Springer 1987]. (1994-11-01) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.